Search results for "model [interaction]"

showing 10 items of 1495 documents

Modulus of continuity with respect to semigroups of analytic functions and applications

2016

Abstract Given a complex Banach space E , a semigroup of analytic functions ( φ t ) and an analytic function F : D → E we introduce the modulus w φ ( F , t ) = sup | z | 1 ⁡ ‖ F ( φ t ( z ) ) − F ( z ) ‖ . We show that if 0 α ≤ 1 and F belongs to the vector-valued disc algebra A ( D , E ) , the Lipschitz condition M ∞ ( F ′ , r ) = O ( ( 1 − r ) 1 − α ) as r → 1 is equivalent to w φ ( F , t ) = O ( t α ) as t → 0 for any semigroup of analytic functions ( φ t ) , with φ t ( 0 ) = 0 and infinitesimal generator G , satisfying that φ t ′ and G belong to H ∞ ( D ) with sup 0 ≤ t ≤ 1 ⁡ ‖ φ ′ ‖ ∞ ∞ , and in particular is equivalent to the condition ‖ F − F r ‖ A ( D , E ) = O ( ( 1 − r ) α ) as r …

Discrete mathematicsPure mathematicsSemigroupApplied Mathematics010102 general mathematicsBanach spaceHardy spaceType (model theory)Lipschitz continuity01 natural sciencesModulus of continuity010101 applied mathematicssymbols.namesakesymbolsInfinitesimal generator0101 mathematicsAnalysisMathematicsAnalytic functionJournal of Mathematical Analysis and Applications
researchProduct

Spatial Search on Grids with Minimum Memory

2015

We study quantum algorithms for spatial search on finite dimensional grids. Patel et al. and Falk have proposed algorithms based on a quantum walk without a coin, with different operators applied at even and odd steps. Until now, such algorithms have been studied only using numerical simulations. In this paper, we present the first rigorous analysis for an algorithm of this type, showing that the optimal number of steps is $O(\sqrt{N\log N})$ and the success probability is $O(1/\log N)$, where $N$ is the number of vertices. This matches the performance achieved by algorithms that use other forms of quantum walks.

Discrete mathematicsQuantum PhysicsNuclear and High Energy PhysicsQuantum sortSpatial searchGeneral Physics and AstronomyFOS: Physical sciencesStatistical and Nonlinear PhysicsType (model theory)Binary logarithmTheoretical Computer ScienceComputational Theory and MathematicsQuantum walkQuantum algorithmQuantum Physics (quant-ph)Mathematical PhysicsQuantum computerMathematics
researchProduct

Stochastic factorizations, sandwiched simplices and the topology of the space of explanations

2003

We study the space of stochastic factorizations of a stochastic matrix V, motivated by the statistical problem of hidden random variables. We show that this space is homeomorphic to the space of simplices sandwiched between two nested convex polyhedra, and use this geometrical model to gain some insight into its structure and topology. We prove theorems describing its homotopy type, and, in the case where the rank of V is 2, we give a complete description, including bounds on the number of connected components, and examples in which these bounds are attained. We attempt to make the notions of topology accessible and relevant to statisticians.

Discrete mathematicsRank (linear algebra)General MathematicsHomotopyGeneral EngineeringStochastic matrixGeneral Physics and AstronomyType (model theory)Space (mathematics)TopologyPolyhedronTopology (chemistry)MathematicsMorse theoryProceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences
researchProduct

Enumeration of L-convex polyominoes by rows and columns

2005

In this paper, we consider the class of L-convex polyominoes, i.e. the convex polyominoes in which any two cells can be connected by a path of cells in the polyomino that switches direction between the vertical and the horizontal at most once.Using the ECO method, we prove that the number fn of L-convex polyominoes with perimeter 2(n + 2) satisfies the rational recurrence relation fn = 4fn-1 - 2fn-2, with f0 = 1, f1 = 2, f2 = 7. Moreover, we give a combinatorial interpretation of this statement. In the last section, we present some open problems.

Discrete mathematicsRecurrence relationECO methodGeneral Computer SciencePolyominoGenerating functionRegular polygonRow and column spacesTheoretical Computer ScienceInterpretation (model theory)Generating functionsCombinatoricsSection (fiber bundle)Path (graph theory)Convex polyominoesComputer Science(all)MathematicsTheoretical Computer Science
researchProduct

Caristi Type Selections of Multivalued Mappings

2015

Multivalued mappings and related selection theorems are fundamental tools in many branches of mathematics and applied sciences. In this paper we continue this theory and prove the existence of Caristi type selections for generalized multivalued contractions on complete metric spaces, by using some classes of functions. Also we prove fixed point and quasi-fixed point theorems.

Discrete mathematicsSelection (relational algebra)Article Subjectlcsh:MathematicsMULTIVALUED CONTRACTION MAPPINGSType (model theory)Fixed pointlcsh:QA1-939METRIC SPACESMetric spaceFIXED-POINT THEOREMSettore MAT/05 - Analisi MatematicaPoint (geometry)Settore MAT/03 - GeometriaAnalysisMathematicsJournal of Function Spaces
researchProduct

M-valued Measure of Roughness for Approximation of L-fuzzy Sets and Its Topological Interpretation

2015

We develop a scheme allowing to measure the “quality” of rough approximation of fuzzy sets. This scheme is based on what we call “an approximation quadruple” \((L,M,\varphi ,\psi )\) where L and M are cl-monoids (in particular, \(L=M=[0,1]\)) and \(\psi : L \rightarrow M\) and \(\varphi : M \rightarrow L\) are satisfying certain conditions mappings (in particular, they can be the identity mappings). In the result of realization of this scheme we get measures of upper and lower rough approximation for L-fuzzy subsets of a set equipped with a reflexive transitive M-fuzzy relation R. In case the relation R is also symmetric, these measures coincide and we call their value by the measure of rou…

Discrete mathematicsSet (abstract data type)Identity (mathematics)Transitive relationScheme (mathematics)Fuzzy setTopologyMeasure (mathematics)Realization (systems)Interpretation (model theory)Mathematics
researchProduct

A Survey of Continuous-Time Computation Theory

1997

Motivated partly by the resurgence of neural computation research, and partly by advances in device technology, there has been a recent increase of interest in analog, continuous-time computation. However, while special-case algorithms and devices are being developed, relatively little work exists on the general theory of continuous- time models of computation. In this paper, we survey the existing models and results in this area, and point to some of the open research questions. Final Draft peerReviewed

Discrete mathematicsTheoretical computer scienceComputabilityComputationModel of computationneuraalilaskentaTuring machineTuring machinesymbols.namesakeModels of neural computationComputable functionOpen researchTheory of computationsymbolsHopfield networkcellular automatondifferential analyzerMathematics
researchProduct

Common Fixed Point Theorems for Weakly Compatible Maps Satisfying a General Contractive Condition

2008

We introduce a new generalized contractive condition for four mappings in the framework of metric space. We give some common fixed point results for these mappings and we deduce a fixed point result for weakly compatible mappings satisfying a contractive condition of integral type.

Discrete mathematicsWeakly compatibleArticle SubjectContractive MapsCommon Fixed Pointlcsh:MathematicsType (model theory)Fixed pointlcsh:QA1-939Metric spaceMathematics (miscellaneous)Settore MAT/05 - Analisi MatematicaCommon fixed pointWeakly Compatible MapCoincidence pointMathematicsInternational Journal of Mathematics and Mathematical Sciences
researchProduct

On Branciari’s theorem for weakly compatible mappings

2010

AbstractIn a recent paper B. Samet and H. Yazidi [B. Samet, H. Yazidi, An extension of Banach fixed point theorem for mappings satisfying a contractive condition of integral type, Ital. J. Pure Appl. Math. (in press)] have obtained an interesting theorem for mappings satisfying a contractive condition of integral type. The aim of this note is to present a generalization of their main result.

Discrete mathematicsWeakly compatibleGeneralizationBanach fixed-point theoremApplied MathematicsFixed-point theoremWeakly compatible mappingsExtension (predicate logic)Type (model theory)Common fixed pointContractive condition of integral typeCommon fixed point Weakly compatible mappings Contractive condition of integral typeSettore MAT/05 - Analisi MatematicaCommon fixed pointMathematicsApplied Mathematics Letters
researchProduct

Fixed points of weakly compatible mappings satisfying generalized $\varphi$-weak contractions

2014

In this paper, utilizing the notion of the common limit range property, we prove some new integral type common fixed point theorems for weakly compatible mappings satisfying a \(\varphi \)-weak contractive condition in metric spaces. Moreover, we extend our results to four finite families of self mappings, and furnish an illustrative example and an application to support our main theorem. Our results improve, extend, and generalize well-known results on the topic in the literature.

Discrete mathematicsWeakly compatibleProperty (philosophy)(CLR_{ST}) property(CLR_S) propertyGeneral Mathematicsmetric spaceFixed pointType (model theory)weakly compatible mappingRange (mathematics)Metric spacefixed pointSettore MAT/05 - Analisi MatematicaCommon fixed pointLimit (mathematics)Mathematics
researchProduct